semantic tableaux造句

例句与造句

1. A proof theoretical abduction method for first order classical logic based on the sequent calculus and a dual one, based on semantic tableaux ( analytic tableaux ) have been proposed ( Cialdea Mayer & Pirri 1993 ).
2. It's difficult to find semantic tableaux in a sentence. 用semantic tableaux造句挺难的